lecture-hall of a university - German English Dictionary